#include <bits/stdc++.h>
// 2025/03/08
// tag: 
// Author: Forever
using namespace std;

using int64 = int64_t;
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    for (int i = 6; i <= 10; i++){
        string name = "test" + to_string(i) + ".in";
        freopen(name.c_str(), "w", stdout);
        random_device rd;
        mt19937 gen(rd());
        uniform_int_distribution<int> dis2(1, 100000);
        int k = dis2(gen);
        cout << 10 << " " << k << endl;
        uniform_int_distribution<int> dis(1, min(k, 10000));
        cout << 1 << endl;
        for (int i = 1; i <= 9; i++)
            cout << dis(gen) << endl;
        fclose(stdout);
    }
    return 0;
}